‘I’d rather you didn’t come’: The impact of stigma on exercising with epilepsy

Epilepsy is a common but hidden disorder, leading to stigma in everyday life. Despite stigma being widely researched, little is known about the impact of stigma for people with epilepsy within a sports and exercise setting. Using constructionist grounded theory, we explored the barriers and adaptations to exercise for people with epilepsy. Three focus groups (2-3 participants per group) and three semi-structured interviews were conducted (11 participants total). Stigma negatively impacted joining team sports, running groups, and disclosure to others. The effect of stigma was reduced by educating others about epilepsy, thus creating more awareness and understanding

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Efficiency of primary saliva secretion: an analysis of parameter dependence in dynamic single-cell and acinus models, with application to aquaporin knockout studies

Secretion from the salivary glands is driven by osmosis following the establishment of osmotic gradients between the lumen, the cell and the interstitium by active ion transport. We consider a dynamic model of osmotically driven primary saliva secretion and use singular perturbation approaches and scaling assumptions to reduce the model. Our analysis shows that isosmotic secretion is the most efficient secretion regime and that this holds for single isolated cells and for multiple cells assembled into an acinus. For typical parameter variations, we rule out any significant synergistic effect on total water secretion of an acinar arrangement of cells about a single shared lumen. Conditions for the attainment of isosmotic secretion are considered, and we derive an expression for how the concentration gradient between the interstitium and the lumen scales with water- and chloride-transport parameters. Aquaporin knockout studies are interpreted in the context of our analysis and further investigated using simulations of transport efficiency with different membrane water permeabilities. We conclude that recent claims that aquaporin knockout studies can be interpreted as evidence against a simple osmotic mechanism are not supported by our work. Many of the results that we obtain are independent of specific transporter details, and our analysis can be easily extended to apply to models that use other proposed ionic mechanisms of saliva secretion

Physical activity attitudes, intentions and behaviour among 18-25 year olds: a mixed method study

Peer reviewedPublisher PD

Escherichia coli induces apoptosis and proliferation of mammary cells

Mammary cell apoptosis and proliferation were assessed after injection of Escherichia coli into the left mammary quarters of six cows. Bacteriological analysis of foremilk samples revealed coliform infection in the injected quarters of four cows. Milk somatic cell counts increased in these quarters and peaked at 24 h after bacterial injection. Body temperature also increased, peaking at 12 h postinjection, The number of apoptotic cells was significantly higher in the mastitic tissue than in the uninfected control. Expression of Bax and interleukin-1 beta converting enzyme increased in the mastitic tissue at 24 h and 72 h postinfection, whereas Bcl-2 expression decreased at 24 h but did not differ significantly from the control at 72 h postinfection, Induction of matrix metalloproteinase-g, stromelysin-1 and urokinase-type plasminogen activator was also observed in the mastitic tissue. Moreover, cell proliferation increased in the infected tissue, These results demonstrate that Escherichia coli-induced mastitis promotes apoptosis and cell proliferation

‘Warrant’ revisited: Integrating mathematics teachers’ pedagogical and epistemological considerations into Toulmin’s model for argumentation

In this paper, we propose an approach to analysing teacher arguments that takes into account field dependence—namely, in Toulmin’s sense, the dependence of warrants deployed in an argument on the field of activity to which the argument relates. Freeman, to circumvent issues that emerge when we attempt to determine the field(s) that an argument relates to, proposed a classification of warrants (a priori, empirical, institutional and evaluative). Our approach to analysing teacher arguments proposes an adaptation of Freeman’s classification that distinguishes between: epistemological and pedagogical a priori warrants, professional and personal empirical warrants, epistemological and curricular institutional warrants, and evaluative warrants. Our proposition emerged from analyses conducted in the course of a written response and interview study that engages secondary mathematics teachers with classroom scenarios from the mathematical areas of analysis and algebra. The scenarios are hypothetical, grounded on seminal learning and teaching issues, and likely to occur in actual practice. To illustrate our proposed approach to analysing teacher arguments here, we draw on the data we collected through the use of one such scenario, the Tangent Task. We demonstrate how teacher arguments, not analysed for their mathematical accuracy only, can be reconsidered, arguably more productively, in the light of other teacher considerations and priorities: pedagogical, curricular, professional and personal

Composite Dirac Neutrinos

We present a mechanism that naturally produces light Dirac neutrinos. The basic idea is that the right-handed neutrinos are composite. Any realistic composite model must involve `hidden flavor' chiral symmetries. In general some of these symmetries may survive confinement, and in particular, one of them manifests itself at low energy as an exact $B-L$ symmetry. Dirac neutrinos are therefore produced. The neutrinos are naturally light due to compositeness. In general, sterile states are present in the model, some of them can naturally be warm dark matter candidates.Comment: 12 pages; Sec. IIC updated; minor corrections; published versio

Discrimination of low missing energy look-alikes at the LHC

The problem of discriminating possible scenarios of TeV scale new physics with large missing energy signature at the Large Hadron Collider (LHC) has received some attention in the recent past. We consider the complementary, and yet unexplored, case of theories predicting much softer missing energy spectra. As there is enough scope for such models to fake each other by having similar final states at the LHC, we have outlined a systematic method based on a combination of different kinematic features which can be used to distinguish among different possibilities. These features often trace back to the underlying mass spectrum and the spins of the new particles present in these models. As examples of "low missing energy look-alikes", we consider Supersymmetry with R-parity violation, Universal Extra Dimensions with both KK-parity conserved and KK-parity violated and the Littlest Higgs model with T-parity violated by the Wess-Zumino-Witten anomaly term. Through detailed Monte Carlo analysis of the four and higher lepton final states predicted by these models, we show that the models in their minimal forms may be distinguished at the LHC, while non-minimal variations can always leave scope for further confusion. We find that, for strongly interacting new particle mass-scale ~600 GeV (1 TeV), the simplest versions of the different theories can be discriminated at the LHC running at sqrt{s}=14 TeV within an integrated luminosity of 5 (30) fb^{-1}.Comment: 40 pages, 10 figures; v2: Further discussions, analysis and one figure added, ordering of certain sections changed, minor modifications in the abstract, version as published in JHE

Molecular crowding defines a common origin for the Warburg effect in proliferating cells and the lactate threshold in muscle physiology

Aerobic glycolysis is a seemingly wasteful mode of ATP production that is seen both in rapidly proliferating mammalian cells and highly active contracting muscles, but whether there is a common origin for its presence in these widely different systems is unknown. To study this issue, here we develop a model of human central metabolism that incorporates a solvent capacity constraint of metabolic enzymes and mitochondria, accounting for their occupied volume densities, while assuming glucose and/or fatty acid utilization. The model demonstrates that activation of aerobic glycolysis is favored above a threshold metabolic rate in both rapidly proliferating cells and heavily contracting muscles, because it provides higher ATP yield per volume density than mitochondrial oxidative phosphorylation. In the case of muscle physiology, the model also predicts that before the lactate switch, fatty acid oxidation increases, reaches a maximum, and then decreases to zero with concomitant increase in glucose utilization, in agreement with the empirical evidence. These results are further corroborated by a larger scale model, including biosynthesis of major cell biomass components. The larger scale model also predicts that in proliferating cells the lactate switch is accompanied by activation of glutaminolysis, another distinctive feature of the Warburg effect. In conclusion, intracellular molecular crowding is a fundamental constraint for cell metabolism in both rapidly proliferating- and non-proliferating cells with high metabolic demand. Addition of this constraint to metabolic flux balance models can explain several observations of mammalian cell metabolism under steady state conditions

What do aquaporin knockout studies tell us about fluid transport in epithelia?

The investigation of near-isosmotic water transport in epithelia goes back over 100 years; however, debates over mechanism and pathway remain. Aquaporin (AQP) knockouts have been used by various research groups to test the hypothesis of an osmotic mechanism as well as to explore the paracellular versus transcellular pathway debate. Nonproportional reductions in the water permeability of a water-transporting epithelial cell (e.g., a reduction of around 80–90 %) compared to the reduction in overall water transport rate in the knockout animal (e.g., a reduction of 50–60 %) are commonly found. This nonproportionality has led to controversy over whether AQP knockout studies support or contradict the osmotic mechanism. Arguments raised for and against an interpretation supporting the osmotic mechanism typically have partially specified, implicit, or incorrect assumptions. We present a simple mathematical model of the osmotic mechanism with clear assumptions and, for models based on this mechanism, establish a baseline prediction of AQP knockout studies. We allow for deviations from isotonic/isosmotic conditions and utilize dimensional analysis to reduce the number of parameters that must be considered independently. This enables a single prediction curve to be used for multiple epithelial systems. We find that a simple, transcellular-only osmotic mechanism sufficiently predicts the results of knockout studies and find criticisms of this mechanism to be overstated. We note, however, that AQP knockout studies do not give sufficient information to definitively rule out an additional paracellular pathway